cmpl workaround for mmio regions
authorkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 11 Jul 2005 09:00:12 +0000 (09:00 +0000)
committerkaf24@firebug.cl.cam.ac.uk <kaf24@firebug.cl.cam.ac.uk>
Mon, 11 Jul 2005 09:00:12 +0000 (09:00 +0000)
commitc27ca580b05ddbb7c16ceafede8b9d9f8d95a66e
tree9d5593a0456d62e48788777be08c8249a8f02420
parent8d2dccd03c4dae7933d1af512baec217419f175d
cmpl workaround for mmio regions

Although we don't normally expect a guest to use cmpl against a MMIO region,
this may happen due to bugs. This workaround is needed for 64 bit linux-2.6.

Signed-off-by: Chengyuan Li <chengyuan.li@intel.com>
Signed-off-by: Arun Sharma <arun.sharma@intel.com>
xen/arch/x86/vmx_platform.c